Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
851	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
852	Queries with Order-by Clauses and Aggregates on Factorised Relational Data Tom´aˇs Koˇcisk´y Magdalen College Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-02-28 17:53:50 Conjunctive query Bin Data Database theory Data management Relational database
853	On Constrained Dual Recoverability Theorems∗ Kotaro Suzumura Institute of Economic Research, Hitotsubashi University Naka 2-1, Kunitachi Tokyo, JAPAN Add to Reading List Source URL: cis.ier.hit-u.ac.jp Language: English - Date: 2014-07-01 09:03:32 Order theory Structure Game theory Pareto efficiency Constructible universe Social welfare function Completeness Function Surreal number Welfare economics Mathematics Social choice theory
854	Curriculum Vitae Alejandro Bermúdez Carballo Institute of Theoretical Physics Ulm University Albert-Einstein-Allee 11, DUlm, Germany Born: January 30, 1982 (Madrid, Spain) Add to Reading List Source URL: qubit-ulm.com Language: English - Date: 2013-04-12 12:16:40 Condensed matter physics Statistical mechanics Topological order Quantum field theory Quantum computer Physical Review Letters Physical Review Physics Applied mathematics Quantum mechanics
855	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
856	Near-linear time simulation of linear extensions of a height-2 poset with bounded interaction Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2014-06-08 17:33:12 Combinatorics Permutation Partially ordered set Structure Mathematics Order theory Abstract algebra
857	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus∗∗ Toniann Pitassi∗† Robert Robere∗‡ Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-02-13 16:02:33 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity Aanderaa–Karp–Rosenberg conjecture Clique problem Mathematics Mathematical analysis Theoretical computer science
858	1. New Order from Old New Order from Old: The Rise of Second-Order Cybernetics and Implications for Machine Intelligence Add to Reading List Source URL: www.pangaro.com Language: English - Date: 2012-08-16 19:29:22 Knowledge Gordon Pask Conversation theory Second-order cybernetics New cybernetics Warren Sturgis McCulloch Epistemology Is–ought problem Cybernetics Science Systems science
859	Part A Statistics HT 2015 Problem Sheet 1 1. Let X1 , . . . , Xn be a random sample from a uniform distribution with probability density Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2015-01-13 11:05:42 Statistical theory Exponentials Q-Q plot Quantile Exponential distribution Order statistic Maximum likelihood Fisher information Weibull distribution Statistics Estimation theory Summary statistics
860	Implementation of the Reduced Order Information Filter ROIF Data Assimilation Scheme in HYCOM An Update on Tuning Experiments in Progress & Computational Performance Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 18:47:30 Cybernetics Systems theory Linear filters Bayesian statistics Signal processing Data assimilation Kalman filter Information filter Matrix Statistics Estimation theory Control theory

UPDATE